翻訳と辞書 Words near each other ・ (Your Love Keeps Lifting Me) Higher and Higher ・ (Z)-3-hexen-1-ol acetyltransferase ・ (Z)-4-Amino-2-butenoic acid ・ (Z)-9-Tricosene ・ (Z)-gamma-bisabolene synthase ・ (Z)-Stilbene ・ (Åh) När ni tar saken i egna händer ・ (ε, δ)-definition of limit ・ (−1)F ・ (−2,3,7) pretzel knot ・ (∞,1)-category ・ * (disambiguation) ・ *** ・ *** (novel) ・ *-algebra ・ *-autonomous category ・ *82 ・ *= ・ *aaS ・ *Corpus Callosum ・ *Lisp ・ *Mañana ・ *shels ・ *Star ・ + (disambiguation) ・ + (Ed Sheeran album) ・ + - (Mew album) ・ +'Justments ・ +/- (band) ・ +1 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク *-autonomous category ： ウィキペディア英語版 *-autonomous category In mathematics, a *-autonomous (read "star-autonomous") category C is a symmetric monoidal closed category equipped with a dualizing object $\backslash bot$. ==Definition== Let C be a symmetric monoidal closed category. For any object ''A'' and $\backslash bot$, there exists a morphism :$\backslash partial\_:A\backslash to(A\backslash Rightarrow\backslash bot)\backslash Rightarrow\backslash bot$ defined as the image by the bijection defining the monoidal closure, of the morphism :$\backslash mathrm\_\backslash circ\backslash gamma\_\; :\; (A\backslash Rightarrow\backslash bot)\backslash otimes\; A\backslash to\backslash bot$ An object $\backslash bot$ of the category C is called dualizing when the associated morphism $\backslash partial\_$ is an isomorphism for every object ''A'' of the category C. Equivalently, a *-autonomous category is a symmetric monoidal category ''C'' together with a functor $(-)^$ *:C^^ *, and for every three objects ''A'', ''B'' and ''C'' there is a natural bijection :$\backslash mathrm(A\backslash otimes\; B,C^$ *)\cong\mathrm(A,(B\otimes C)^ *). The dualizing object of ''C'' is then defined by $\backslash bot=I^$ *. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「*-autonomous category」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.